var v: typeof A<B>